<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
Contents
</TITLE>
</HEAD>
<BODY >
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman002.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter">Contents</H1>
<UL CLASS="ftoc1"><LI CLASS="li-toc">
<A HREF="libman002.html#htoc1">Chapter&nbsp;1&nbsp;&nbsp;Introduction</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman003.html#htoc2">1.1&nbsp;&nbsp;Suspended Goals: <EM>suspend</EM></A>
<LI CLASS="li-toc"><A HREF="libman004.html#htoc3">1.2&nbsp;&nbsp;Finite Domains: <EM>ic</EM></A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman004.html#htoc4">1.2.1&nbsp;&nbsp;<EM>Integer Domain</EM></A>
<LI CLASS="li-toc"><A HREF="libman004.html#htoc5">1.2.2&nbsp;&nbsp;Symbolic Domain: <EM>ic_symbolic</EM></A>
<LI CLASS="li-toc"><A HREF="libman004.html#htoc6">1.2.3&nbsp;&nbsp;Global Constraints: <EM>ic_global</EM></A>
<LI CLASS="li-toc"><A HREF="libman004.html#htoc7">1.2.4&nbsp;&nbsp;Scheduling Constraints</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman005.html#htoc8">1.3&nbsp;&nbsp;Sets</A>
<LI CLASS="li-toc"><A HREF="libman006.html#htoc9">1.4&nbsp;&nbsp;Intervals</A>
<LI CLASS="li-toc"><A HREF="libman007.html#htoc10">1.5&nbsp;&nbsp;User-Defined Constraints</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman007.html#htoc11">1.5.1&nbsp;&nbsp;Generalised Propagation: <EM>propia</EM></A>
<LI CLASS="li-toc"><A HREF="libman007.html#htoc12">1.5.2&nbsp;&nbsp;Constraint Handling Rules</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman008.html#htoc13">1.6&nbsp;&nbsp;Repair</A>
<LI CLASS="li-toc"><A HREF="libman009.html#htoc14">1.7&nbsp;&nbsp;Linear Constraints</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman009.html#htoc15">1.7.1&nbsp;&nbsp;External Linear Solvers: <EM>eplex</EM></A>
<LI CLASS="li-toc"><A HREF="libman009.html#htoc16">1.7.2&nbsp;&nbsp;<EM>clpqr</EM></A>
<LI CLASS="li-toc"><A HREF="libman009.html#htoc17">1.7.3&nbsp;&nbsp;Piecewise Linear: <EM>eplex_relax</EM></A>
<LI CLASS="li-toc"><A HREF="libman009.html#htoc18">1.7.4&nbsp;&nbsp;Probing for Scheduling</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman010.html#htoc19">1.8&nbsp;&nbsp;Other Libraries</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman011.html#htoc20">Chapter&nbsp;2&nbsp;&nbsp;Common Solver Interface</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman012.html#htoc21">2.1&nbsp;&nbsp;Introduction</A>
<LI CLASS="li-toc"><A HREF="libman013.html#htoc22">2.2&nbsp;&nbsp;Common constraints</A>
<LI CLASS="li-toc"><A HREF="libman014.html#htoc23">2.3&nbsp;&nbsp;Using the constraints</A>
<LI CLASS="li-toc"><A HREF="libman015.html#htoc24">2.4&nbsp;&nbsp;The Solvers</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman016.html#htoc25">Chapter&nbsp;3&nbsp;&nbsp;IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman017.html#htoc26">3.1&nbsp;&nbsp;Introduction</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman017.html#htoc27">3.1.1&nbsp;&nbsp;What IC does</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc28">3.1.2&nbsp;&nbsp;Differences between IC and FD</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc29">3.1.3&nbsp;&nbsp;Differences between IC and RIA</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc30">3.1.4&nbsp;&nbsp;Notes about interval arithmetic</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc31">3.1.5&nbsp;&nbsp;Interval arithmetic and IC</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc32">3.1.6&nbsp;&nbsp;Usage</A>
<LI CLASS="li-toc"><A HREF="libman017.html#htoc33">3.1.7&nbsp;&nbsp;Arithmetic Expressions</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc34">3.2&nbsp;&nbsp;Library Predicates</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman018.html#htoc35">3.2.1&nbsp;&nbsp;Domain constraints</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc36">3.2.2&nbsp;&nbsp;Arithmetic constraints</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc37">3.2.3&nbsp;&nbsp;Reified constraints</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc38">3.2.4&nbsp;&nbsp;Miscellaneous constraints</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc39">3.2.5&nbsp;&nbsp;Integer labeling predicates</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc40">3.2.6&nbsp;&nbsp;Real domain refinement predicates</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc41">3.2.7&nbsp;&nbsp;Variable query predicates</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc42">3.2.8&nbsp;&nbsp;Propagation threshold predicates</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc43">3.2.9&nbsp;&nbsp;Solving by Interval Propagation</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc44">3.2.10&nbsp;&nbsp;Reducing Ranges Further</A>
<LI CLASS="li-toc"><A HREF="libman018.html#htoc45">3.2.11&nbsp;&nbsp;Obtaining Solver Statistics</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman019.html#htoc46">3.3&nbsp;&nbsp;General Guidelines for the Use of the IC library</A>
<LI CLASS="li-toc"><A HREF="libman020.html#htoc47">3.4&nbsp;&nbsp;User defined constraints</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman020.html#htoc48">3.4.1&nbsp;&nbsp;Modifying variable domains</A>
<LI CLASS="li-toc"><A HREF="libman020.html#htoc49">3.4.2&nbsp;&nbsp;The IC attribute</A>
</UL>
</UL>
<LI CLASS="li-toc"><A HREF="libman021.html#htoc50">Chapter&nbsp;4&nbsp;&nbsp;Additional Finite Domain Constraints</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman022.html#htoc51">4.1&nbsp;&nbsp;Various Constraints on Lists</A>
<LI CLASS="li-toc"><A HREF="libman023.html#htoc52">4.2&nbsp;&nbsp;Cumulative Constraint and Resource Profiles</A>
<LI CLASS="li-toc"><A HREF="libman024.html#htoc53">4.3&nbsp;&nbsp;Edge-finder</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman025.html#htoc54">Chapter&nbsp;5&nbsp;&nbsp;The Integer Sets Library</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman026.html#htoc55">5.1&nbsp;&nbsp;Ground Integer Sets</A>
<LI CLASS="li-toc"><A HREF="libman027.html#htoc56">5.2&nbsp;&nbsp;Set Variables</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman027.html#htoc57">5.2.1&nbsp;&nbsp;Declaring</A>
<LI CLASS="li-toc"><A HREF="libman027.html#htoc58">5.2.2&nbsp;&nbsp;Printing</A>
<LI CLASS="li-toc"><A HREF="libman027.html#htoc59">5.2.3&nbsp;&nbsp;Domain Access</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman028.html#htoc60">5.3&nbsp;&nbsp;Constraints</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman028.html#htoc61">5.3.1&nbsp;&nbsp;Membership</A>
<LI CLASS="li-toc"><A HREF="libman028.html#htoc62">5.3.2&nbsp;&nbsp;Cardinality</A>
<LI CLASS="li-toc"><A HREF="libman028.html#htoc63">5.3.3&nbsp;&nbsp;Set Relations</A>
<LI CLASS="li-toc"><A HREF="libman028.html#htoc64">5.3.4&nbsp;&nbsp;N-ary Set Relations</A>
<LI CLASS="li-toc"><A HREF="libman028.html#htoc65">5.3.5&nbsp;&nbsp;Set Weights</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman029.html#htoc66">5.4&nbsp;&nbsp;Set Expressions</A>
<LI CLASS="li-toc"><A HREF="libman030.html#htoc67">5.5&nbsp;&nbsp;Search Support</A>
<LI CLASS="li-toc"><A HREF="libman031.html#htoc68">5.6&nbsp;&nbsp;Example</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman032.html#htoc69">Chapter&nbsp;6&nbsp;&nbsp;The Symbolic Domain Library</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman033.html#htoc70">6.1&nbsp;&nbsp;Domains and Domain Variables</A>
<LI CLASS="li-toc"><A HREF="libman034.html#htoc71">6.2&nbsp;&nbsp;Basic Constraints</A>
<LI CLASS="li-toc"><A HREF="libman035.html#htoc72">6.3&nbsp;&nbsp;Global Constraints</A>
<LI CLASS="li-toc"><A HREF="libman036.html#htoc73">6.4&nbsp;&nbsp;Internals</A>
<LI CLASS="li-toc"><A HREF="libman037.html#htoc74">6.5&nbsp;&nbsp;Extending and Interfacing this Library</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman038.html#htoc75">Chapter&nbsp;7&nbsp;&nbsp;Propia - A Library Supporting Generalised Propagation</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman039.html#htoc76">7.1&nbsp;&nbsp;Overview</A>
<LI CLASS="li-toc"><A HREF="libman040.html#htoc77">7.2&nbsp;&nbsp;Invoking and Using Propia</A>
<LI CLASS="li-toc"><A HREF="libman041.html#htoc78">7.3&nbsp;&nbsp;Approximate Generalised Propagation</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman042.html#htoc79">Chapter&nbsp;8&nbsp;&nbsp;The Constraint Handling Rules Library</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman043.html#htoc80">8.1&nbsp;&nbsp;Introduction</A>
<LI CLASS="li-toc"><A HREF="libman044.html#htoc81">8.2&nbsp;&nbsp;Using Constraint Handling Rules</A>
<LI CLASS="li-toc"><A HREF="libman045.html#htoc82">8.3&nbsp;&nbsp;Example Constraint Handlers</A>
<LI CLASS="li-toc"><A HREF="libman046.html#htoc83">8.4&nbsp;&nbsp;The <FONT COLOR=purple>CHR</FONT> Language</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman046.html#htoc84">8.4.1&nbsp;&nbsp;Constraint Handling Rules</A>
<LI CLASS="li-toc"><A HREF="libman046.html#htoc85">8.4.2&nbsp;&nbsp;How <FONT COLOR=purple>CHR</FONT>s Work</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman047.html#htoc86">8.5&nbsp;&nbsp;More on the <FONT COLOR=purple>CHR</FONT> Language</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman047.html#htoc87">8.5.1&nbsp;&nbsp;Declarations</A>
<LI CLASS="li-toc"><A HREF="libman047.html#htoc88">8.5.2&nbsp;&nbsp;ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> Clauses</A>
<LI CLASS="li-toc"><A HREF="libman047.html#htoc89">8.5.3&nbsp;&nbsp;Options</A>
<LI CLASS="li-toc"><A HREF="libman047.html#htoc90">8.5.4&nbsp;&nbsp;<FONT COLOR=purple>CHR</FONT> Built-In Predicates</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman048.html#htoc91">8.6&nbsp;&nbsp;Labeling</A>
<LI CLASS="li-toc"><A HREF="libman049.html#htoc92">8.7&nbsp;&nbsp;Writing Good <FONT COLOR=purple>CHR</FONT> Programs</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman049.html#htoc93">8.7.1&nbsp;&nbsp;Choosing <FONT COLOR=purple>CHR</FONT>s</A>
<LI CLASS="li-toc"><A HREF="libman049.html#htoc94">8.7.2&nbsp;&nbsp;Optimizations</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman050.html#htoc95">8.8&nbsp;&nbsp;Debugging <FONT COLOR=purple>CHR</FONT> Programs</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman050.html#htoc96">8.8.1&nbsp;&nbsp;Using the Debugger</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc97">8.9&nbsp;&nbsp;The Extended <FONT COLOR=purple>CHR</FONT> Implementation</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman051.html#htoc98">8.9.1&nbsp;&nbsp;Invoking the extended CHR library</A>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc99">8.9.2&nbsp;&nbsp;Syntactic Differences</A>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc100">8.9.3&nbsp;&nbsp;Compiling</A>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc101">8.9.4&nbsp;&nbsp;Semantics</A>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc102">8.9.5&nbsp;&nbsp;Options and Built-In Predicates</A>
<LI CLASS="li-toc"><A HREF="libman051.html#htoc103">8.9.6&nbsp;&nbsp;Compiler generated predicates</A>
</UL>
</UL>
<LI CLASS="li-toc"><A HREF="libman052.html#htoc104">Chapter&nbsp;9&nbsp;&nbsp;EPLEX: The ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP>/LP/MIP Interface</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman053.html#htoc105">9.1&nbsp;&nbsp;Usage</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc106">9.2&nbsp;&nbsp;Eplex Instances</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman054.html#htoc107">9.2.1&nbsp;&nbsp;Linear Constraints</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc108">9.2.2&nbsp;&nbsp;Linear Expressions</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc109">9.2.3&nbsp;&nbsp;Bounds</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc110">9.2.4&nbsp;&nbsp;Integrality</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc111">9.2.5&nbsp;&nbsp;Solving Simple Eplex Problems</A>
<LI CLASS="li-toc"><A HREF="libman054.html#htoc112">9.2.6&nbsp;&nbsp;Examples</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc113">9.3&nbsp;&nbsp;Advanced Use of Eplex Instances</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman055.html#htoc114">9.3.1&nbsp;&nbsp;Obtaining Solver State Information</A>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc115">9.3.2&nbsp;&nbsp;Creating Eplex Instances Dynamically</A>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc116">9.3.3&nbsp;&nbsp;Interface for CLP-Integration: Solver Demons</A>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc117">9.3.4&nbsp;&nbsp;Encapsulated Modification of the Problem: Probing</A>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc118">9.3.5&nbsp;&nbsp;Destroying the Solver State</A>
<LI CLASS="li-toc"><A HREF="libman055.html#htoc119">9.3.6&nbsp;&nbsp;Eplex Instance Interface Example: definition of optimize/2:</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc120">9.4&nbsp;&nbsp;Low-Level Solver Interface</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman056.html#htoc121">9.4.1&nbsp;&nbsp;Setting Up a Solver State</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc122">9.4.2&nbsp;&nbsp;Adding Constraints to a Solver State</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc123">9.4.3&nbsp;&nbsp;Running a Solver State Explicitly</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc124">9.4.4&nbsp;&nbsp;Accessing the Solver State</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc125">9.4.5&nbsp;&nbsp;Expandable Problem and Constraints</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc126">9.4.6&nbsp;&nbsp;Changing Solver State Settings</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc127">9.4.7&nbsp;&nbsp;Destroying a Solver State</A>
<LI CLASS="li-toc"><A HREF="libman056.html#htoc128">9.4.8&nbsp;&nbsp;Miscellaneous Predicates</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman057.html#htoc129">9.5&nbsp;&nbsp;Cutpool Constraints</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman057.html#htoc130">9.5.1&nbsp;&nbsp;Solving a Problem with Cutpool Constraints</A>
<LI CLASS="li-toc"><A HREF="libman057.html#htoc131">9.5.2&nbsp;&nbsp;Predicate-specific Support</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman058.html#htoc132">9.6&nbsp;&nbsp;Multiple Solver States</A>
<LI CLASS="li-toc"><A HREF="libman059.html#htoc133">9.7&nbsp;&nbsp;External Solver Output and Log</A>
<LI CLASS="li-toc"><A HREF="libman060.html#htoc134">9.8&nbsp;&nbsp;Dealing with Large and Other Non-standard Numbers</A>
<LI CLASS="li-toc"><A HREF="libman061.html#htoc135">9.9&nbsp;&nbsp;Error Handling</A>
<LI CLASS="li-toc"><A HREF="libman062.html#htoc136">9.10&nbsp;&nbsp;Solver Behaviour Differences</A>
<LI CLASS="li-toc"><A HREF="libman063.html#htoc137">9.11&nbsp;&nbsp;Solver Specific Information</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman063.html#htoc138">9.11.1&nbsp;&nbsp;Versions and Licences</A>
<LI CLASS="li-toc"><A HREF="libman063.html#htoc139">9.11.2&nbsp;&nbsp;Solver Differences</A>
<LI CLASS="li-toc"><A HREF="libman063.html#htoc140">9.11.3&nbsp;&nbsp;Access to External Solver's Control Parameters</A>
</UL>
</UL>
<LI CLASS="li-toc"><A HREF="libman064.html#htoc141">Chapter&nbsp;10&nbsp;&nbsp;REPAIR: Constraint-Based Repair</A>
<UL CLASS="ftoc2"><LI CLASS="li-toc">
<A HREF="libman065.html#htoc142">10.1&nbsp;&nbsp;Introduction</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman065.html#htoc143">10.1.1&nbsp;&nbsp;Using the Library</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc144">10.2&nbsp;&nbsp;Tentative Values</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman066.html#htoc145">10.2.1&nbsp;&nbsp;Attaching and Retrieving Tentative Values</A>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc146">10.2.2&nbsp;&nbsp;Tenability</A>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc147">10.2.3&nbsp;&nbsp;The Tentative Assignment</A>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc148">10.2.4&nbsp;&nbsp;Variables with No Tentative Value</A>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc149">10.2.5&nbsp;&nbsp;Unification</A>
<LI CLASS="li-toc"><A HREF="libman066.html#htoc150">10.2.6&nbsp;&nbsp;Copying</A>
</UL>
<LI CLASS="li-toc"><A HREF="libman067.html#htoc151">10.3&nbsp;&nbsp;Repair Constraints</A>
<LI CLASS="li-toc"><A HREF="libman068.html#htoc152">10.4&nbsp;&nbsp;Conflict Sets</A>
<LI CLASS="li-toc"><A HREF="libman069.html#htoc153">10.5&nbsp;&nbsp;Invariants</A>
<LI CLASS="li-toc"><A HREF="libman070.html#htoc154">10.6&nbsp;&nbsp;Examples</A>
<UL CLASS="ftoc3"><LI CLASS="li-toc">
<A HREF="libman070.html#htoc155">10.6.1&nbsp;&nbsp;Interaction with Propagation</A>
<LI CLASS="li-toc"><A HREF="libman070.html#htoc156">10.6.2&nbsp;&nbsp;Repair Labeling</A>
</UL>
</UL>
</UL>

<HR>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman002.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
